<html><?php function my_function($arg0,$arg1=null){return "42";}echo my_function();?><body><h1>Hello, world!</h1>
  </body>
</html>